Lies , Damned Lies , and Coverage
نویسنده
چکیده
Functional coverage is a key metric for establishing the overall completeness of a verification process; however, empirical evidence suggests that coverage models are often inaccurate, misleading and incomplete. This paper proposes that such coverage defects are extremely common and since coverage analysis tends to focus on holes, or missing coverage, rather than the accuracy of what is already reported, then this represents a significant risk to the overall quality of the verification process. After a generic introduction to the problem the paper discusses practical examples and proposes pragmatic solutions for minimizing the risk and improving quality. Finally we demonstrate a novel application of the UCIS API to cross-reference different aspects of functional coverage in order to validate correctness of the model under some circumstances.
منابع مشابه
"Lies, damned lies and criminal statistics": reinterpreting the criminal statistics in England and Wales.
متن کامل
To leave or not to leave.
Lies, damned lies and Brexit statistics. It's not been a good month for anyone espousing evidence-based policy and politics after the chair of the Commons health committee switched from Leave to Remain, citing misuse of data by the Leave campaign.
متن کاملLies, damned lies and……….
The well-known quotation “There are lies, damned lies and statistics” suggests that statistics doesn’t have the greatest of reputations. Why is this? Certainly, statistics can be used to mislead, but logically “lies, damned lies and statistics” reflects high levels of statistical misunderstanding rather than indicating that statistics are inherently ‘bad’. In Bad Science, Ben Goldacre highlight...
متن کاملA critique of claims from Reynolds, Nicolson & Hambly (2003) that DDAT is an effective treatment for children with reading difficulties--'lies, damned lies and (inappropriate) statistics'?
Reynolds, Nicolson and Hambly (Dyslexia 2003; 9: 48) report a study to evaluate the effectiveness of dyslexia dyspraxia attention deficit treatment (DDAT)-an exercise-based treatment for children with reading difficulties. They claim that DDAT is an effective treatment with positive effects on the cognitive skills underlying literacy and the reading process. We outline the numerous methodologic...
متن کاملبررسی دروغ مصلحتآمیز در معالجات پزشکی با تأکید بر شاخص اعتماد
Background and purpose: Honesty is a character that is confirmed by all human, but sometimes human is placed in a situation to choose one between the two interests of truth and life. Such dilemmas cause human developed and applied white lies. Range of white lies operation became gradually popular in different areas that one of them was medical treatment. Whether or not this type of lies are mor...
متن کامل